Sublogarithmic uniform Boolean proof nets

Using a proofs-as-programs correspondence, Terui was able to compare two models of parallel computation: Boolean circuits and proof nets for multiplicative linear logic. Mogbil et. al. gave a logspace translation allowing us to compare their computational power as uniform complexity classes. This paper presents a novel translation in AC0 and focuses on a simpler restricted notion of uniform Boolean proof nets. We can then encode constant-depth circuits and compare complexity classes below logspace, which were out of reach with the previous translations.Comment: In Proceedings DICE 2011, arXiv:1201.034

Specificity Protein 2 (Sp2) Is Essential for Mouse Development and Autonomous Proliferation of Mouse Embryonic Fibroblasts

BACKGROUND: The zinc finger protein Sp2 (specificity protein 2) is a member of the glutamine-rich Sp family of transcription factors. Despite its close similarity to Sp1, Sp3 and Sp4, Sp2 does not bind to DNA or activate transcription when expressed in mammalian cell lines. The expression pattern and the biological relevance of Sp2 in the mouse are unknown. METHODOLOGY/PRINCIPAL FINDINGS: Whole-mount in situ hybridization of mouse embryos between E7.5 and E9.5 revealed abundant expression in most embryonic and extra-embryonic tissues. In order to unravel the biological relevance of Sp2, we have targeted the Sp2 gene by a tri-loxP strategy. Constitutive Sp2null and conditional Sp2cko knockout alleles were obtained by crossings with appropriate Cre recombinase expressing mice. Constitutive disruption of the mouse Sp2 gene (Sp2null) resulted in severe growth retardation and lethality before E9.5. Mouse embryonic fibroblasts (MEFs) derived from Sp2null embryos at E9.5 failed to grow. Cre-mediated ablation of Sp2 in Sp2cko/cko MEFs obtained from E13.5 strongly impaired cell proliferation. CONCLUSIONS/SIGNIFICANCE: Our results demonstrate that Sp2 is essential for early mouse development and autonomous proliferation of MEFs in culture. Comparison of the Sp2 knockout phenotype with the phenotypes of Sp1, Sp3 and Sp4 knockout strains shows that, despite their structural similarity and evolutionary relationship, all four glutamine-rich members of the Sp family of transcription factors have distinct non-redundant functions in vivo

Contact-controlled amoeboid motility induces dynamic cell trapping in 3D-microstructured surfaces.

On flat substrates, several cell types exhibit amoeboid migration, which is characterized by restless stochastic successions of pseudopod protrusions. The orientation and frequency of new membrane protrusions characterize efficient search modes, which can respond to external chemical stimuli as observed during chemotaxis in amoebae. To quantify the influence of mechanical stimuli induced by surface topography on the migration modes of the amoeboid model organism Dictyostelium discoideum, we apply high resolution motion analysis in microfabricated pillar arrays of defined density and geometry. Cell motion is analyzed by a two-state motility-model, distinguishing directed cellular runs from phases of isotropic migration that are characterized by randomly oriented cellular protrusions. Cells lacking myosin II or cells deprived of microtubules show significantly different behavior concerning migration velocities and migrational angle distribution, without pronounced attraction to pillars. We conclude that microtubules enhance cellular ability to react with external 3D structures. Our experiments on wild-type cells show that the switching from randomly formed pseudopods to a stabilized leading pseudopod is triggered by contact with surface structures. These alternating processes guide cells according to the available surface in their 3D environment, which we observed dynamically and in steady-state situations. As a consequence, cells perform "home-runs" in low-density pillar arrays, crawling from pillar to pillar, with a characteristic dwell time of 75 s. At the boundary between a flat surface and a 3D structured substrate, cells preferentially localize in contact with micropillars, due to the additionally available surface in the microstructured arrays. Such responses of cell motility to microstructures might open new possibilities for cell sorting in surface structured arrays

Immune stimulation mediated by autoantigen binding sites within small nuclear RNAs involves Toll-like receptors 7 and 8

Systemic lupus erythematosus (SLE) is an autoimmune disease characterized by the production of autoantibodies to certain cellular macromolecules, such as the small nuclear ribonucleoprotein particles (snRNPs), which had been considered to be passive targets of the autoimmune response. SLE is also characterized by the increased expression of type I interferon (IFN), which appears to be associated with the development and severity of disease. Here, we show that specific, highly conserved RNA sequences within snRNPs can stimulate Toll-like receptors (TLRs) 7 and 8 as well as activate innate immune cells, such as plasmacytoid dendritic cells (pDCs), which respond by secreting high levels of type I IFN. SLE patient sera containing autoantibodies to snRNPs form immune complexes that are taken up through the Fc receptor γRII and efficiently stimulate pDCs to secrete type I IFNs. These results demonstrate that a prototype autoantigen, the snRNP, can directly stimulate innate immunity and suggest that autoantibodies against snRNP may initiate SLE by stimulating TLR7/8

Specificity protein 2 (Sp2) is essential for mouse development and autonomous proliferation of mouse embryonic fibroblasts

Background: The zinc finger protein Sp2 (specificity protein 2) is a member of the glutamine-rich Sp family of transcription factors. Despite its close similarity to Sp1, Sp3 and Sp4, Sp2 does not bind to DNA or activate transcription when expressed in mammalian cell lines. The expression pattern and the biological relevance of Sp2 in the mouse are unknown. Methodology/Principal Findings: Whole-mount in situ hybridization of mouse embryos between E7.5 and E9.5 revealed abundant expression in most embryonic and extra-embryonic tissues. In order to unravel the biological relevance of Sp2, we have targeted the Sp2 gene by a tri-loxP strategy. Constitutive Sp2null and conditional Sp2cko knockout alleles were obtained by crossings with appropriate Cre recombinase expressing mice. Constitutive disruption of the mouse Sp2 gene (Sp2null) resulted in severe growth retardation and lethality before E9.5. Mouse embryonic fibroblasts (MEFs) derived from Sp2null embryos at E9.5 failed to grow. Cre-mediated ablation of Sp2 in Sp2cko/cko MEFs obtained from E13.5 strongly impaired cell proliferation. Conclusions/Significance: Our results demonstrate that Sp2 is essential for early mouse development and autonomous proliferation of MEFs in culture. Comparison of the Sp2 knockout phenotype with th

Innate Sensing of HIV-Infected Cells

Cell-free HIV-1 virions are poor stimulators of type I interferon (IFN) production. We examined here how HIV-infected cells are recognized by plasmacytoid dendritic cells (pDCs) and by other cells. We show that infected lymphocytes are more potent inducers of IFN than virions. There are target cell-type differences in the recognition of infected lymphocytes. In primary pDCs and pDC-like cells, recognition occurs in large part through TLR7, as demonstrated by the use of inhibitors and by TLR7 silencing. Donor cells expressing replication-defective viruses, carrying mutated reverse transcriptase, integrase or nucleocapsid proteins induced IFN production by target cells as potently as wild-type virus. In contrast, Env-deleted or fusion defective HIV-1 mutants were less efficient, suggesting that in addition to TLR7, cytoplasmic cellular sensors may also mediate sensing of infected cells. Furthermore, in a model of TLR7-negative cells, we demonstrate that the IRF3 pathway, through a process requiring access of incoming viral material to the cytoplasm, allows sensing of HIV-infected lymphocytes. Therefore, detection of HIV-infected lymphocytes occurs through both endosomal and cytoplasmic pathways. Characterization of the mechanisms of innate recognition of HIV-infected cells allows a better understanding of the pathogenic and exacerbated immunologic events associated with HIV infection

COVID-19 trajectories among 57 million adults in England: a cohort study using electronic health records

BACKGROUND: Updatable estimates of COVID-19 onset, progression, and trajectories underpin pandemic mitigation efforts. To identify and characterise disease trajectories, we aimed to define and validate ten COVID-19 phenotypes from nationwide linked electronic health records (EHR) using an extensible framework. METHODS: In this cohort study, we used eight linked National Health Service (NHS) datasets for people in England alive on Jan 23, 2020. Data on COVID-19 testing, vaccination, primary and secondary care records, and death registrations were collected until Nov 30, 2021. We defined ten COVID-19 phenotypes reflecting clinically relevant stages of disease severity and encompassing five categories: positive SARS-CoV-2 test, primary care diagnosis, hospital admission, ventilation modality (four phenotypes), and death (three phenotypes). We constructed patient trajectories illustrating transition frequency and duration between phenotypes. Analyses were stratified by pandemic waves and vaccination status. FINDINGS: Among 57 032 174 individuals included in the cohort, 13 990 423 COVID-19 events were identified in 7 244 925 individuals, equating to an infection rate of 12·7% during the study period. Of 7 244 925 individuals, 460 737 (6·4%) were admitted to hospital and 158 020 (2·2%) died. Of 460 737 individuals who were admitted to hospital, 48 847 (10·6%) were admitted to the intensive care unit (ICU), 69 090 (15·0%) received non-invasive ventilation, and 25 928 (5·6%) received invasive ventilation. Among 384 135 patients who were admitted to hospital but did not require ventilation, mortality was higher in wave 1 (23 485 [30·4%] of 77 202 patients) than wave 2 (44 220 [23·1%] of 191 528 patients), but remained unchanged for patients admitted to the ICU. Mortality was highest among patients who received ventilatory support outside of the ICU in wave 1 (2569 [50·7%] of 5063 patients). 15 486 (9·8%) of 158 020 COVID-19-related deaths occurred within 28 days of the first COVID-19 event without a COVID-19 diagnoses on the death certificate. 10 884 (6·9%) of 158 020 deaths were identified exclusively from mortality data with no previous COVID-19 phenotype recorded. We observed longer patient trajectories in wave 2 than wave 1. INTERPRETATION: Our analyses illustrate the wide spectrum of disease trajectories as shown by differences in incidence, survival, and clinical pathways. We have provided a modular analytical framework that can be used to monitor the impact of the pandemic and generate evidence of clinical and policy relevance using multiple EHR sources. FUNDING: British Heart Foundation Data Science Centre, led by Health Data Research UK